Большая Советская Энциклопедия
Буль (Boole) Джордж (2.1
1815, Линкольн, ≈ 8.1
-
1864, Баллинтемпл близ Корка), английский математик и логик. Не имея специального математического образования, в 1849 стал профессором математики в Куинс-колледже в Корке (Ирландия), где преподавал до конца жизни. Б. почти в равной мере интересовали логика, математический анализ, теория вероятностей, этика Б. Спинозы, философские работы Аристотеля и Цицерона. В работах «Математический анализ логики» (1847), «Логическое исчисление» (1848), «Исследование законов мышления» (1854) Б. заложил основы математической логики. Именем Б. названы так называемые булевы алгебры ≈ особые алгебраические системы, для элементов которых определены две операции (см. Структура ).
Лит.: Льар Л., Английские реформаторы логики а XIX в., пер. с франц., СПБ, 1897; Venn J., Boole"s logical system, «Mind», 1876, v. 1, ╧ 4.